Тычинский В. З. , Матросова А. Ю. , Николаева Е. А. , Провкин В. А. , Гошин Г. Г. «Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем» // Известия вузов. Физика 2020. №12 C.114-123